bitkeeper revision 1.1159.258.18 (4226f857ltmzeYRsvtnlD8t5FVTvhw)
authorcl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Thu, 3 Mar 2005 11:43:19 +0000 (11:43 +0000)
committercl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Thu, 3 Mar 2005 11:43:19 +0000 (11:43 +0000)
commit7554eb1321a25e9db13a381cf52a5a8842e1a350
tree9b417869331a97cbe0516d1d22a7fa556b063fc6
parent126860c4eefb0ba87bec4d0437e65a81ddf93a18
bitkeeper revision 1.1159.258.18 (4226f857ltmzeYRsvtnlD8t5FVTvhw)

Remove support for tgif as a tool.  We don't use it and it's hard to find as
and rpm.
Signed-off-by: cl349@cl.cam.ac.uk
BitKeeper/etc/logging_ok
docs/Makefile
docs/check_pkgs
docs/src/user.tex